XS: Towards "Parallel" Effect Handlers in Lean
This project is about advanced concepts for modular and extensible effects in functional programming.
Become familiar with effect handlers, and Free(r) monads, implement the concepts in the programming language Lean. Parallel Algebraic Effect Handlers sound interesting, so we should figure out what they are and how to implement them.
You will implement several programs using effect handlers in this lab. Examples can be the Monte Carlo Estimation or a parallel map-reduce algorithm.